homotopy equivalent systems

同伦等价系